1. Formal approaches to software testing
پدیدآورنده : / Alexandre Petrenko, Andreas Ulrich (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Formal methods (Computer science)--Congresses,Computer software--Testing--Congresses
رده :
QA
,
76
.
9
,.
F67
,
F52
,
2003
2. Formal approaches to software testing
پدیدآورنده : / Alexandre Petrenko, Andreas Ulrich (eds.)
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Formal methods (computer science),Computer software -- Testing
رده :
QA
76
.
9
.
F67F52
2003
3. Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers
پدیدآورنده : Alexandre Petrenko, Andreas Ulrich )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Testing -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
2931
